Issue2788a.agda:3,1-27
Missing option --cubical or --erased-cubical
when checking the pragma BUILTIN INTERVAL I
